Lemma 3.2.8

For every unital -algebra the split exact sequence obtained by adjoining a unit to , induces a split exact sequence at the level of the groups. In other words, this is a split exact functor.